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