wer andern eine grube gräbt, hat ein grubengrabgerät