Library shut down

Library will be closed until the 31^st of May 2020 following the last internal communication (15 May 2020).