Text this: An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet