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