ex-FileNet – reserved domain, only

For the veterans of FileNet Germany.