MAIN CHARACTERISTICS range of product MINI PRAGMA range MINI PRAGMA device short name KEYLOCK product or component type KEYLOCK accessory / separate part category KEYLOCK ACCESSORY COMPLEMETARY CHARACTERISTICS key number UNIDENTIFIED market segment RESIDENTIAL