Problem Solved!
I had to use "Arduino/Add a library to the selected project" and unselect WiFi and make sure ESP8266WiFi was checked instead. In my case both were checked and I guess thus created some kind of conflict.
Now the project verifies and builds. I have not tested yet if it actually also works.