How Much Has Germany Paid?