Home World News Is it time to pull out of high-flying German stocks?