Income Taxes - Schedule of Cash Paid for Income Taxes (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2025	Dec. 31, 2024	Dec. 31, 2023
Income Tax Paid, by Individual Jurisdiction [Line Items]
Cash paid for income taxes	$ 41.2	$ 47.3	$ 56.1
Germany
Income Tax Paid, by Individual Jurisdiction [Line Items]
Cash paid for income taxes	10.8
USA
Income Tax Paid, by Individual Jurisdiction [Line Items]
Cash paid for income taxes	7.2
Brazil
Income Tax Paid, by Individual Jurisdiction [Line Items]
Cash paid for income taxes	15.4
South Korea
Income Tax Paid, by Individual Jurisdiction [Line Items]
Cash paid for income taxes	4.2
Other jurisdictions
Income Tax Paid, by Individual Jurisdiction [Line Items]
Cash paid for income taxes	$ 3.6