<http://dbpedia.org/resource/Western_European_Summer_Time>	<http://www.w3.org/2000/01/rdf-schema#label>	"Western European Summer Time"@en .