Müller, Ernst (Writer on the history of Swabia)