2420 ) Rättens ombudsman.