Posted as well. Dieter is now officially KO'ed.