fill in a LibraryDbContext class