Quellcode und Dokumentation für den Workshop bei der TaCoS in Saarbrücken (31.05 bis 02.06.2013).