och fartyget derefter repareras i kronans gamla docka om vederbörligt tillstånd dertill erhålles.