Altherrenschaft der Burschenschaft Arminia auf dem Burgkeller Jena
Name lt. Satzung von 1952: Altherrenschaft der Jenaischen Burschenschaft Arminie aus dem Burgkeller zu Mainz e.V.
Name lt. Satzung von 1952: Altherrenschaft der Jenaischen Burschenschaft Arminie aus dem Burgkeller zu Mainz e.V.