On this page German special characters can be replaced by unicode strings. (The result is immediatly copied to the clipboard.)
Original text: Text for the Java source code: