Czyli 17 razy więcej, niż PKB Niemiec.