Killerpilze

I was wondering if anyone watched that 'Camp Rock Around the World' special...or whatever it was called. I was hoping that it would feature the German band Killerpilze because they sing Verrockt for the German soundtrack. I had to work on Friday though. Can anyone tell me if they showed them?
Much obliged to you...

Go in with no expectations, come out with no disappointments.