Only one delegate's microphone can be switched on. Each delegate individually switches
on his microphone, thus automatically deactivating the microphone of the previous
speaker. The delegate can also deactivate his microphone himself by pressing again his
microphone push button.