Due to maintenance reasons, gitlab.gwdg.de will not be available on Saturday 2021-07-24 from 10:30 to approximately 11:30 CEST.
Adds a missing feature, displaying fictional places, for the print serialization of the indices.
Also there was a curious bug I cannot explain, cf. f842e8e0 (comment 144194). In case there are better solutions for this problem I'd be happy to have them.