Publications by authors named "Gerhard Amann"