Some tools for the musikverein-reichental.de website