You probably had some classes with Gutknecht at some point, who apparently contributed significantly to Oberon. That being said, I'm in the same boat as you. I

You probably had some classes with Gutknecht at some point, who apparently contributed significantly to Oberon. That being said, I'm in the same boat as you. I have definitely heard more about Oberon here on HN than at ETHZ.