Replacement stones for eocene sandy limestones in 13th-17th century dutch monuments