Dass der Begriff umgangsprachlich (falsch) für die Normalzeit verwendet wird, ist Anlass genug, ihn ebenfalls zu erwähnen, schon um über die korrekte Begrifflichkeit aufzuklären und den Leser zum richtigen Artikel zu führen. Eine simple Weiterleitung auf Sommerzeit würde alle anderen Bedeutungen unter den Tisch fallen lassen, das fände ich im Sinne suchender Leser sehr schade. -- Superbass 09:29, 26. Jun. 2017 (CEST)