$MAGMA ist schon so viel runtergekommen. Wagt ihr es noch, weiter short zu gehen?