Eduard Mühle

German historian