I den roliga ” sommarrevyn " på Tivoli teater,