Biblioteket for Vejle by og amt.