Die Netzfrequenz im europäischen Stromnetz