HAMBURG den 7 joli.