habeIchVergessen/HallMonitor — pull request #2 by habeIchVergessen (2013-12-18 08:03:41+00:00)
Title: merge tidy-up

visible if alarm killed elsewhere