Ja, alles drinnen. Es wurde ja nichts am sketch geändert.
Ich habe alles versucht, was mir irgendwie eingefallen ist. ESP8266 vom Strom und wieder anschließen, PC neu starten, alles erfolglos.
Dann habe ich das ESP8266 vom Strom genommen und stattdessen ein DEV Board mit USB Schnittstelle per USB angeschlossen und da den selben Sketch mit der IP Adresse des eben abgesteckten per Serial drauf geflasht. Danach Arduino IDE neu gestartet und siehe da, das Board scheint nun mit der IP Adresse bei den Ports auf. Danach habe ich es einfach abgesteckt und das andere ESP wieder mit Strom versorgt und per OTA über das eben neu erschienene Netzwerkport geflasht. Hat funktioniert. Das ist echt total merkwürdig.