גרמנית ⇄ אנגלית +

Proximitykorrekturalgorithmus m
.מיקרו	proving correction algorithm