The significance of Late Devonian ophiolites in the Variscan orogen: a record from the Vosges Klippen Belt