Wir belassen es derweilen noch beim StringSeq. Die Umwandlung von Vector zu set und umgekehrt ist mMn nicht nötig. Wir werden es vielleicht später ändern, aber uns bis dahin auf andere, wichtigere Dinge konzentrieren.