The national opera house