Germany records nearly 10,000 heat-related deaths by mid-July