BGer 8C_517/2023 vom 31. Oktober 2024 , Unfallversicherung (Versicherungsdeckung), - Bundesgericht (2024)