Altherrenschaft der Jenaischen Burschenschaft Arminia auf dem Burgkeller zu Mainz e.V.