Wissenswertes zum Einsatz deutscher Minen