Theatre spaces for music in 18th-century Europe