HAMBURG den 17 dee.