Well there is “that” Walther LP 53. https://www.christies.com/LotFinder/...8-4f9ffc12f86f

(Disappointing that they did not list it as lot 007)