Dirk Müller: Danke, Berlin! Eine Meisterleistung deutscher Diplomatie gegenüber Präsident Trump!