Listen to Christmas Carols being sung in the library lobby.