GS 7817: Allendorf bei Soden mit der Saline (nach 1840)