"erster Grenzwertsatz" Englisch