US-Truppen in Deutschland: Wer trägt die Kosten?