og befiggende ved Christiania indre Havn nied tilhörende Tördok ( Flydedok ) samt alt tilhörende Maskineri er underliaanden til salgs.