Why Germany really wants Trump to end the trade war