5224 ) Rättens ombudsman.