Berlin den 20 joli.