Hamburg , har den 10 Maj.