hissades alla flaggor i Kolding på half [ stång.