4024 ) Rättens ombudsman.