A Dutch friend and I were discussing rifles, and we started to wonder what arms the Dutch army used during the Second World War. He wasn't sure, and neither of us was able to find out through a simple internet search. We figure they must have been made by one of the bigger nations (France, perhaps?) but beyond that we don't have any idea. So, can anyone tell me what the standard infantry weapon was for the Dutch army when they were invaded by Germany in 1940?