Publications by authors named "Dieter Haffner"