מנגני־פורים (גרמניה, המאה הי"ז)