ZEHENDTGRUB, Paul Zehendter von