Nach Mordanschlag: Niederländischer Journalist Peter de Vries ist tot