HARMAN's AKG WMS 40 MINI Wireless Microphone System Debuts