höstterminen 1872 ( 1 , 611 ).