Door Duitsers opgeblazen. Niet geheel duidelijk of dit laat september is gebeurd of tegen 27 october, vlak voor de bevrijding van Tilburg.