Müller, Ludolf, 1917-2009.