Das Pionier-Bataillon 9: Aufstellung, Gliederung. Einsatz und Schicksal des Bataillons.