entjungfert管 (1739)