K1 of certain Iwasawa algebras, after Kakde - Schneider, Peter; Venjakob, Otmar (Noncommutative Iwasawa main conjectures over totally real fields, 2013)