Sammler ersteigert Hitlermühle für fast 100.000 Euro