' Holmens Canal N:o 5 ( Gammelholm ),