Royal Danish Theatre — theater in Denmark