WARNEMiNDE den 20 Juli.