Det är Berlin den 17 Juli.