German stocks index hits record high after more US peaks