Hamburg den 30 Mais.