2500 ) Rättens ombudsman.