Hwad de gamla teater- och ridhnsbyggnaderna,