kommun med 3 ' / 2 millioner kronor fullgjort sin skyldighet att bygga läroverkshus.