2872 ) Rättens ombudsman.