Let’s see whether the DSL provider change goes smoothly tonight / tomorrow morning, or if I have to use my mobile hotspot tomorrow.

Update: Everything works fine.