ByNobleID
    Normal integral bases and the Spiegelungssatz of Scholz | NobleID