HAMBURG den 7 fehr.