Moritz Hanke authored Aug 13, 2019 and Thomas Jahns committed Jan 14, 2020

* the result computed by routine get_dist_dir_global_interval_size
  must not be zero
* this avoids a div by zero error, which occurred if the sizes of
  the source index lists on all processes calling the dist dir xmap
  constructur was zero