HAMBURG * den 20 maj.