Antalet extra lärare vid de allmännaläroverken