Dette kartet er et utsnitt fra kartportalen BergGIS. Her er bygningene på Marineholmen tegnet inn. 18. desember 2018