tjenstledighet öfver vårterminen 1888.