Zehntausende sind in den vergangenen Tagen zum Prager Veitsdom gekommen, um von Havel Abschied zu nehmen. Dort fand heute die offizielle Trauerfeier statt.