Solo consta el nombre del rey Teodemundo.