flaggades under dagen allmänt på half stång.