Berlin den 17:de aftonen.