It is the birthday of both Emmy Noether and Werhner von Braun today!! Neat!