7024 ) Rättens ombudsman.