From French-Dutch FreeDict Dictionary ver. 0.2: miner /mine/ ondergraven, ondermijnen
miner /mine/ ondergraven, ondermijnen