Im Wiener Stephansdom wird der im 95. Lebensjahr verstorbene Schauspieler Otto Schenk heute feierlich verabschiedet.