HAMBURG den 1 maj ( Hlntnnterlnicnr k , see