- " Einsatzdienste" : alle örtlichen - öffentlichen wie privaten - Dienste oder Tunnelbedienstete, die bei einem Unfall Hilfe leisten, einschliesslich Polizei, Feuerwehr und Rettungsdienste;
- " hulpdiensten" : alle lokale openbare en particuliere of tot het tunnelpersoneel behorende diensten, die optreden bij ongelukken, met inbegrip van politie, brandweer en reddingsteams