Hamburg den 12 Mais.