den götiske konungen Erigius.