Müller ("Müller-Meiningen"), Ernst