European STOXX 600 Hits All-Time High