5025 ) Rättens ombudsman.