garnisonsbiblioteken i Norges olika garnisoner tillsammans 800 kr.