"erster Mittelwertsatz" Englisch