Hallo Thomas!
Meines Wissens heißt ein Steinkohlekraftwerk Steinkohlekraftwerk, weil
die Energie aus der Steinkohle kommt. Bei der Braunkohle, den Gezeiten
und der Kernkraft ist es ähnlich.
Was liegt da näher, als anzunehmen, daß beim Walchenseekraftwerk die
Energie aus dem Walchensee kommt?
Gruß
Joachim ;-)