War nur zum Warmwerden, die Frage. Aber kommen wir zum Kern des Falls. Müller, Meier, Schulz – das sind doch ziemlich deutsche Namen, oder?