Z:gnu-www-ja-people--02664e-Thomas was renamed from Michae/de

Thomas wurde 1996 von Michael Bushnell umbenannt.