”Shrinked“, the Musical