Holmens Kanal ( I:r 5 Gammelholm ),