Как объяснить постановку двоеточия в данном предложении?
Опера «Пиковая дама» считается одним из величайших произведений мирового реалистического искусства: эта музыкальная трагедия потрясает психологической правдивостью и яркостью картин эпохи.
1) Вторая часть бессоюзного сложного предложения противопоставлена по содержанию первой части.
2) Вторая часть бессоюзного сложного предложения указывает на причину того, о чём говорится в первой части.
3) Первая часть бессоюзного сложного предложения указывает на время совершения того, о чём говорится во второй части.
4) Обобщающее слово стоит перед однородными членами предложения.