Hans Havel als „Der Holländer“ in „Der fliegende Holländer“