Wie oft gibt es Tornados in Deutschland?