@gat My vote would have been for a CZ, but otherwise a Beretta 92 series then.
Alternatively, you could expand your .380 ACP collection by going with a Walther PPK or PPK/s, which they've started making again last year. I guess that doesn't meet your 12-round minimum requirement, though.
And if you're considering HK, hey, the Mark 23 is still listed in their catalog. It's not THAT big.
https://www.youtube.com/watch?v=c8qlWUC4qls