An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet (Logical Methods in Computer Science, 2008)