[10] Doppelstuhl, doppelt stehender Dachstuhl; auch s.v.w. Doppelwalzenstuhl, s. Walzenstuhl.
Pierer-1857: Doppelstuhl