Heute ist Emmy Noether Geburtstag ... für alle, die ihn feiern

https://de.wikipedia.org/wiki/Emmy_Noether