2523 ) Rättens ombudsman.