Welche ist die am weitesten verbreitete Videonorm für HDTV in Europa?