Potiontool: weitere nuetzliche IDs hinzu

Change-Id: Idd42cd4faec6510003341fd8bdce3368890823ef
diff --git a/obj/tools/ptool.c b/obj/tools/ptool.c
index 98ffd8f..c3d6a4b 100644
--- a/obj/tools/ptool.c
+++ b/obj/tools/ptool.c
@@ -46,7 +46,7 @@
      "                  speichert diesen ab.\n\n");
   SetProp(P_NAME, "PTool");
   SetProp(P_GENDER, NEUTER);
-  AddId(({"tool", "ptool"}));
+  AddId(({"tool", "ptool","potiontool","potion-tool"}));
   SetProp(P_NODROP, 1);
   SetProp(P_AUTOLOADOBJ, 1);
   AddCmd("ptadd", "add");