Rundtischgespräch: Eichmanns Helfer in Luxemburg: Wer war Otto Schmalz ?