portal.devbuch.de is working