600 MHz auction leaves FCC red-faced: A regular column on the information industries. Issue 3 (8th May 2017)