Rolf-Dieter Krause (ARD) aus Brüssel zum Abschluss des EU-Gipfels