Österreich setzt die Flaggen am Montag auf Halbmast, die EU-Fahne (r.) wird dann eingezogen.