skulle flaggan hissas på Nicolai-tornet.