German inventors combine spell-checking from modern word processors with old fountain-ink pens.