Ava: 'Antichrist' und Ava: 'Johannes' werden gemeinsam in der folgenden HSC-Beschreibung überliefert: