dagar sedan sköt sig i Berlin en gammal postsekreterare vid namn Heinzinger.