kullkastades den , och hafvet uppslukade så väl byggmästaren som flere arbetare , sysselsatt med dess reparerande.