Es ist an der Zeit, $MINA zu shorten