“...Antiquariat Helmut Tenner <Heidelberg>...”