Mir fehlt die Entstehung des Namens Antringen. Dieser stammt von Antiro-Ingen, den Leuten des Antiro, ab.
