Im grenchner Lindenhaus wird getanzt