Berlin den 1 ( 1 Juli.