このではカットされちゃててわからないけどエンドロールに書いてない？
ホールの意匠にも著作権があってね、アニメだろうと実在するホールを
登場させるには許諾がいるんだよ
だから実在するホールならエンドロールの協力の所に書いてあるんじゃないかな