de sistnämnde vore lothringar.