In der englischen Wikipedia wird im Artikel Alamanni (http://en.wikipedia.org/wiki/Alamanni) eine Gruppe der Armalausi erwähnt.
Die Armalausi habe ich in der mir zur Verfügung stehenden Literatur nicht gefunden. Hat diese Gruppe im Deutschen evtl. einen anderen Namen

Oder gibt es sonst irgendwelche Hinweise zu diese Volksgruppe

Andi