Yes, but a German billion isn't the same as an American billion either... .