5,000 20,000 12,000 624.000 378.000 43.000 13.000 HAMBURG den 9 aug.