Kann $MAGMA jetzt schon geshortet werden?