Extracted from source. Fixed short display times. Checked and fixed OCR and common errors (if any). Added fade in/out for the text in the end. Fade in/out beginning: {\fad(300,100)}, Fade in/out between: {\fad(100,100)}, fade in/out end: {\fad(100,300)}