I Edinburgh finnas två teatrar iden