deri , att de första dykarne vid tyska kusten varit fransmän ; dessa instrueradety-