HAMBURG den 7 Oktober.