De gemeenteraad moet er nog over besluiten, maar de bibliotheek in Leiderdorp verhuist tijdens de verbouwing van gebouw De Sterrentuin vermoedelijk naar ...