You mean German CIT and German PIT I assume. How happy would the US IRS be with that?