I recently flew Lufthansa over that area. Here's how the inflight map looked like https://i.ibb.co/ryFdXyC/IMG-8587.jpg

Fortunately I only saw this afterwards, otherwise I would have been worried.

(obviously we didn't actually make this detour)