As Berlin steamed with temperatures in the mid to high 30s C (90 degrees F) over much of the last month, I looked for ways to cool down. My family hit a lot of the classics, including copious park hangs, elaborate ice cream sundaes, visiting the pool, and even...