--- a/gwt-client/src/main/java/org/dive4elements/river/client/client/ui/LinkSelection.java	Mon Jun 17 16:18:40 2013 +0200
+++ b/gwt-client/src/main/java/org/dive4elements/river/client/client/ui/LinkSelection.java	Mon Jun 17 17:39:42 2013 +0200
@@ -309,9 +309,6 @@
 
     private static boolean availableRiver(String river) {
         HLayout row = riverList.get(river);
-        if (row == null) {
-            row = riverList.get(unstripRiver(river));
-        }
         return row != null && row.isVisible();
     }
 
@@ -321,41 +318,11 @@
         }
     }
 
-    /**
-     * Replaces some umlauts to ASCII chars. As JavaScript is extremly
-     * nasty with unicode characters we're doing this in Java.
-     * @param name
-     * @return
-     */
-    private String stripRiver(String name) {
-        return name.replace("\u00fc", "ue");
-    }
-
-    /**
-     * Replaces "ue" with the fitting umlaut unicode character.
-     * FIXME: This is a hack to make the "Saale-Thüringen" river hover effect
-     * working.
-     * @param name
-     * @return
-     */
-    private static String unstripRiver(String name) {
-        return name.replace("ue", "\u00fc");
-    }
-
-    private void callHighlightRiver(String name) {
-        GWT.log(stripRiver(name));
-        __callHighlightRiver(stripRiver(name));
-    }
-
-    private void callUnHighlightRiver(String name) {
-        __callUnHighlightRiver(stripRiver(name));
-    }
-
-    private native void __callHighlightRiver(String name) /*-{
+    private native void callHighlightRiver(String name) /*-{
         $wnd.highlight(name);
     }-*/;
 
-    private native void __callUnHighlightRiver(String name) /*-{
+    private native void callUnHighlightRiver(String name) /*-{
         $wnd.unHighlight(name);
     }-*/;