en årlig pension , motsvarande 80 procent af bibliotekarielönen , med 3,600 rdr.