4021 ) Rättens ombudsman.