7247 ) Rättens ombudsman.