$CHECK $MAGMA $AGT Freitags-Topper