( f. d. Leidesdorlfska lokaleu ).