[math-fun] The two Germanys