Summer time in Japan – hot nights, relentless humidity, the buzzing of cicadas, local festivals…