Erich Zimmermann als „Stimme des Seemanns“ in „Tristan und Isolde“