hydrografiska byrån och nyss nämda mariuobservatoriunr äro de två inrättningar,