In memoriam Tone Ravnikar, dr. med., specialist internist (1933-2005)