. "Hans Ulrich" . . . "Grubenmann" . . "Grubenmann" .