HF for 20 år siden: Mausundkampanjen hjalp