Directional audio reproduction in Zürich Opera House