utförts af » Det norske Bjergnings- og Dykkerkompagni »,