The pan-European STOXX 600 index settled a choppy session up 0.1%, with Germany’s benchmark also at a record peak. European ...