$MAGMA short gehen