I've read in several books and web pages that during the assault on Eben Emael german forces were equipped with panzerbuchse 39, or in other versions, captured panzerbuchse 35 (p). Those sources were, how could I say, of limited credibility. In other words, I dont't believe them. But I want to ask somebody smarter than me. So, were there any antitank rifles used during the assault on Eben Emael?