Title: Gideon Petz Zum 70. Geburtstag