I explain a corrected 21st century reformulation and give the first complete proof of a reciprocity law from 1939 that is due to Redei, and that played a central role in Smith's 2016 preprint on quadratic 2-class groups.
Links:
[1] http://www.mpim-bonn.mpg.de/taxonomy/term/39
[2] http://www.mpim-bonn.mpg.de/node/3444
[3] http://www.mpim-bonn.mpg.de/node/9073