Anton Thraen

German astronomer