Tjenstledighet för vårterminen 1880 ärbeviljad