Dictionary of minor planet names : addendum to sixth edition: 2012-2014 (2015)