20121130 city.mangaluru: Staff crunch hits libraries in DK district