köpingen flaggades på half stång.