Kuinka paljon Suomen kansalliskirjastossa on tällä hetkellä työntekijöitä?