Business Segment Information - Information by Geographical Area (Details) - USD ($) $ in Millions	Dec. 31, 2024	Dec. 31, 2023	Dec. 31, 2022
Revenue and property, plant and equipment by geographical area
Long-lived assets	$ 814.8	$ 691.4	$ 538.2
Germany
Revenue and property, plant and equipment by geographical area
Long-lived assets	370.0	350.2	309.6
Switzerland
Revenue and property, plant and equipment by geographical area
Long-lived assets	134.1	127.0	98.5
United States
Revenue and property, plant and equipment by geographical area
Long-lived assets	188.0	124.9	58.8
Rest of Europe
Revenue and property, plant and equipment by geographical area
Long-lived assets	91.8	57.4	42.5
Asia Pacific
Revenue and property, plant and equipment by geographical area
Long-lived assets	22.2	22.1	22.1
Other
Revenue and property, plant and equipment by geographical area
Long-lived assets	$ 8.7	$ 9.8	$ 6.7