Der für Bayern typische Maibaum ... gibt es in Dresden überhaupt einen ?