HAMBURG den 10 fehr.