„Ein Sommernachtstraum“, Musical