3 ms·

Wikipedia says he died today.