son is living in germany as a green card holder, He got out of the army in April and worked in a store. Does he file taxes in us. he paid german taxes.