Vor 20 Jahren ging Infineon an die Börse