My suggestion would be the Electrodyn one. This is because their product includes a DOL/DCL magnetic switch kit. The reason I recommend this is because many of the Miami Elevator door operators of the "Thyssen Miami Elevator" era (before they dropped the Miami and Dover brandings all together and then bought Krupp), used serial door operators with no discrete option (i.e. HD-98). With this type of operator, most DLM systems on the market need DDOL/DCL in order to function. The operator doesn't need to modified. The reeds and magnets are installed using a mounting kit to track and door part of the system.

In the event you feel you need to replace the operator, my best suggestion would be to use a Wittur SGV or AMD (KONE Renova, TKE Ld-16 are all related). They make a kit to interface existing Miami Elevator/early TKE hall door equipment to the operator. It also comes with discrete wiring, allowing you to choose more freely which DLM you would like to use.