Ribe County — county in Denmark 1793-1970