HAMBURG den 20 fehr,