Personal der Dampfbagger: Allgemeines. a) Besetzung der beiden Dampfbagger und Einrichtung des Betriebes der Dampfbaggerei, Instruktionen für die Kapitäne, Maschienenmeister und Heizer, 1838. b) Aufnahme des Baggerpersonals in die Pensionskasse, 1846. c) Bewilligung einer außerordentlichen Zulage, 1855. d) Verzeichnis der Besatzung der Dampfbagger und des Schleppdampfers 'Brillant', 1859