Holmens Canal 5 ( Gammelholm ),