Haderslev (Denmark). Latinskolen. Biblioteket