Landmark in map digitization : library places 10.000th map online