Recent developments in non-commutative Iwasawa theory I - David Burns