I've finally found an ABUS lock and holder that fits the lower frame bracket!
Lock: ABUS Bordo "6055K Light Mini (60mm): https://www.abus.com/us/Recreational-Security/Bike-Safety-and-Security/Locks/Folding-locks/BORDO-Lite-6055-Mini
Holder: ABUS Holder "SH 6055 (61572)"...
