ett statsanstag af 15,000 kr.