HAMBURG den 15 Mais.