The file 'Mini Playing Card Case/Box (Mini SpielKarten) 3D Printer Model' is (stl) file type, size is 29.5KB.
Shrink down version to fit the mini cards i had in hand
Thinkercad link: https://www.tinkercad.com/things/13YJL4xcP33-minicads-box-mini-spielkarten