Was a local problem, on the Arduino preferences dir the file package_esp8266com_index.json was 0 bytes big and somehow locked. After deleting this file everythings worked OK.