The demolition of the disused Cigarkassen building in Copenhagen