reparation af norska skeppet Gjallnrhoni , som vid kollisioneu i fjol fick förskeppet förstördt,