Leap 15.1: Firefox findet nach Netzwerkwechsel keine Server mehr