Geen vlag half stok op stadhuis in Dokkum