Holmens Kanal n.:r ( f. dE