I saw a commit to the DEV repo so I did a git pull this morning, started arduino and recompiled and flashed.
It's working. Immediately!
The fixed ip-adress was there and the the serial monitor displayed nicely the debug and node messages.
The mosquitto broker receives the info which I can see using the mosquitto_sub command.
It beats me, as I can't imagine the yesterday evening commit fixed it, but I'm glad it works.
For reference: This morning I used the 2.2.0 esp8266 board managers version.