What if the Ottonian dynasty never died out in the male line, like OTL Capetians? Say Otto III lived long enough to have a son, and his son had a son, etc, etc.
Say the Ottonian dynasty in the direct line lasted until the 1300s, and all kings after that would be from cadet branches of the Saxon dynasty.
Would their family be de facto hereditary kings of Germany and Emperors?