veroordeelde terrorist gedood na aanval op agente in berlijn