judge thomas krug