Zur Geschichte der Stadt Mühlheim am Main Hartmut Gries, Josef Schilp, Karl E Hundertmark, Richard Krug