Leicester (Leicestershire). Old Town Hall. Library.