Holmens Canal ö ( Gammelholm ),