../ conference-ornate-20min.de.tex 14-Aug-2025 00:56 7558 conference-ornate-20min.en.tex 14-Aug-2025 00:56 6858 conference-ornate-20min.fr.tex 14-Aug-2025 00:56 8300