4025 ) Rättens ombudsman.