Mixed-Precision in High-Order Methods: the Impact of Floating-Point Precision on the ADER-DG Algorithm. - Marc Marot-Lassauzaie; Michael Bader (CoRR, 2025)