HAMBURG den 13 fehr.