7355 ) Rättens ombudsman.