Singapurs Benchmark-Index fiel am 4. Juni um 1,2% auf 5.076,81