Gerold Richter (Astronom)