Denmark: the old Copenhagen Stock Exchange victim of a violent fire