[422] Die Gartenlinsen, sing. inus. große, Wälsche Linsen, welche in den Gärten gebauet werden; zum Unterschiede von den Feldlinsen.