Помогите вспомнить название фильма⁠⁠

Просьба не совсем корректная. Название фильма я знаю. Бразилия (Brazil) 1985.
Но когда я смотрел его в кинотеатре в середине 80-х, то он шел под другим названием.
Может кто-нибудь помнит? А то уже голову сломал, а вспомнить никак не могу.