ä,ü,ö,ß ersetzt durch ae,ue,oe,ss denn JavaDoc erkennt die nicht