Niklaus Wirth ist verstorben.