Wie viele Menschen sind während des Terroranschlags 1995 in Oklahoma City gestorben?