Vorlesung: The Habiro Ring of a Number Field