Der Felsenkeller um 1835.