— SVINEMtNDE den 9 Juli.