અન્ય નામો : ટીસેક્સ નેશનલ થિયેટર (1776); કે. કે. હૉફ્હાથેટર નાકાસ્ટ ડેર બર્ગ (1794)