bransch af sjöväsendet , som här är i fråga — bärgnings- och dykeriväsendet — äro de det emellertidicke