der Deutschen Bucht der Nordsee ».