Das Ende des "Prager Frühlings": Warschauer Pakt-Truppen besetzen Prag, August 1968