Searching for links to EmmyNoether: