Translation of "Piperidinecarboxylic acid" in German