Ich habe noch keine App gefunden, wo es praktisch wäre,
dass das Dock oben bleibt, drum lassen wir es immer automatisch
verschwinden.