Localizing gauge theories from noncommutative geometry (Copenhagen)