Wahrscheinlich gab es einfach zu viele neue Seen, die alle Namen brauchten, und da wurde dann halt einer übersehen und in der deutschen Bürokratie dann halt vom Plan so abgenommen :-D Danke für die Info!