Obituary Prof. Dr. Dietrich Harder (11 February 1930–10 February 2019)doi:10.1007/S00411-019-00791-4Rüdiger GreinertMichael HausmannSpringer Berlin Heidelberg