Das Panzer-Pionier-Bataillon 9: Aufstellung, Gliederung und Einsatz.