Sound pressure level limits for stage machinery noise in operas and theaters. (15th December 2019)