Holmens Kanal ( i:r 5 Gammelholm ),