Warum waren heute die Flaggen auf Halbmast?