ombudsman , sålunda 20,000 kr.