XML 615 R202.htm IDEA: XBRL DOCUMENT v3.25.0.1
Group employees - Additional Information (Details) - Employee
12 Months Ended
Dec. 31, 2024
Dec. 31, 2023
Number and average number of employees [abstract]    
Average number of employees 74,617 75,452