added Debug; very much improved Debug::dump()