Wissenschaftler Ivan Havel mit 82 Jahren gestorben