— Hamburgs börs Hamburg den7