PS: wird übrigens auch in einigen örtlichrn Wanderkarten noch als Katharinensee bezeichnet und in noch mehr Wanderkarten als Feuchtgebiet dargestellt. Das sind zwar für OSM keine validen Quellen, bestätigt aber meine Wahrnehmung. 