../ conference-ornate-20min.de.tex 16-Jun-2025 01:51 7558 conference-ornate-20min.en.tex 16-Jun-2025 01:51 6858 conference-ornate-20min.fr.tex 16-Jun-2025 01:51 8300