Das Pionier-Bataillon 17: Entstehung, Gliederung, Unterstellung, Einsatz und Schicksal des Regiments.