HAMBURG den 9 fete.