Bergen flagger på halv stang