remove no longer needed dummy_interrupt mutex
Impressum, Datenschutz