Dutch paintings now digitize by the thousands at long last