HAMBURG den 15 fehr.