Empedocles mixture eudoxan astronomy by Reiche