HAMBURG den 4 Oktober.