delete of wrong tag-folder, updated trunk
Authored by: mschwarz 2022-11-24
Parent: [r13]
Child: [r15]