Berlin den 9 luli.