Wer anderen eine Grube gräbt, hat ein Grubengrabgerät.