jernvägsarbetare afskjutna nära Kristiansand af ett sprängskott.