is doc severinsen still alive