* * Berlin den 10 luli.