Shrek – Das Musical – Premiere in der kleinen Olympiahalle München