Simulation model for the verification of a safety-related control system in a hoist application = Simulationsmodell für die Verifikation einer sicherheitsbezogenen Hubwerksteuerung