Thomas Mann becomes a US citizen.