I don't think that we have contemporary german sources from that era talking about the realms but in modern german it is called Lotharingien, Mittelfranken, Mittelreich, and Ostfrankenreich, Ostfranken. While Germany as a label for this realm is ahistoric but surely something what historians...