Shareholders' equity - Earnings per share (Details)	3 Months Ended	6 Months Ended
Jun. 30, 2020 € / shares	Jun. 30, 2020 $ / shares	Mar. 31, 2020 € / shares	Mar. 31, 2020 $ / shares	Jun. 30, 2019 € / shares	Jun. 30, 2019 $ / shares	Jun. 30, 2020 $ / shares	Jun. 30, 2019 $ / shares
Earnings per share in euros
Earnings per share (in dollars or Euros per share) \| (per share)	€ (2.98)	$ 3.27	€ (0.01)	$ (0.01)	€ 0.89	$ 1.01	$ 3.29	$ 2.17
Diluted earnings per share (in dollars or Euros per share) \| (per share)	€ (2.98)	$ 3.27	€ (0.01)	$ (0.01)	€ 0.89	$ 1.00	$ 3.29	$ 2.16

The amount of profit (loss) attributable to ordinary equity holders of the parent entity (the numerator), divided by the weighted average number of ordinary shares outstanding during the period (the denominator), both adjusted for the effects of all dilutive potential ordinary shares. [Refer: Ordinary shares [member]; Weighted average [member]]

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Name IAS
-Number 33
-IssueDate 2019-01-01
-Paragraph 66
-URI http://eifrs.ifrs.org/eifrs/xifrs-link?type=IAS&num=33&code=ifrs-tx-2019-en-r&anchor=para_66&doctype=Standard
-URIDate 2019-03-27

Name:	ifrs-full_DilutedEarningsLossPerShare
Namespace Prefix:	ifrs-full_
Data Type:	num:perShareItemType
Balance Type:	na
Period Type:	duration