2 ms·

For sure there were countless jokes by Soviet students at the expense of his last name (for king Herod's).