minen 1884 uppgått till 609 och under vårterminen 1885 till 603.