+
+ if grep -q grml /etc/apt/preferences 2>/dev/null ; then
+ cat >> /etc/apt/preferences >> EOF
+// debian pool (default):
+Package: *
+Pin: release o=Debian
+Pin-Priority: 996
+
+// main grml-repository:
+Package: *
+Pin: origin deb.grml.org
+Pin-Priority: 991
+EOF