Berlin den 31 joli.