» Holmen » och arsenalen i Köpenhamnn.