A Digital Mixing System for Theaters