Public intervention in the food supply in pre-industrial Europe