redout-épület – az egykori pesti német színház épületének elnevezése