1. Flottenoffizier. Lesquier, Instit. milit. 259. - 2. abkommandierter Offizier als Truppenführer von Bauarbeitern. - Mahaffy, Petr. III S. 277. G.-H., Hib. I 104 Einl. Fitzler, Steinbrüche 42; 67. - Örtel, Liturgie 18: abkommandierter Flottenoffizier, mit seinen Mannschaften in Bergwerken beschäftigt. (Preisigke, Fachwörter, S. 172)