Leeuwarden, Library