E se não tivesse sido no Brasil de Dom Pedro II o local em que Wagner fez a estreia mundial da sua mais importante ópera – Tristão e Isolda –?