Or they are running their own tileserver, generating their own map tiles, from their own local database (this is exactly what openstreetmap.de is doing), and would not be affected by this at all.