Какую пьесу Булгаков написал о Сталине?

"... Известно, что Булгаков часто ходил в Большой, чтобы послушать «Фауста». Эта опера всегда поднимала ему настроение. Особенно ему был близок образ самого Фауста. Но однажды Булгаков вернулся из театра мрачный, в состоянии тяжелейшей депрессии. Согласившийся написать пьесу о Сталине Булгаков узнал себя в образе Фауста, продавшего душу дьяволу."