STOXX 600 record high