Highest temperature in Munich on July 2? — Whale Trades