De i Hauensteiner-tunneln innestängdaarbetarne