Merge branch 'master' of git.fsmpi.rwth-aachen.de:infra/ansible

...files/provision/gast/.kde/share/config/kglobalshortcutsrc

...overlay/files/provision/gast/.kde/share/config/khotkeysrc

...-overlay/files/provision/gast/.kde/share/config/kickoffrc

guest-overlay/files/provision/gast/.kde/share/config/kilerc

...overlay/files/provision/gast/.kde/share/config/killbotsrc

...rlay/files/provision/gast/.kde/share/config/kio_desktoprc

...overlay/files/provision/gast/.kde/share/config/kio_httprc

guest-overlay/files/provision/gast/.kde/share/config/kiorc

...overlay/files/provision/gast/.kde/share/config/kioslaverc

...t-overlay/files/provision/gast/.kde/share/config/klickety

...overlay/files/provision/gast/.kde/share/config/klicketyrc

guest-overlay/files/provision/gast/.kde/share/config/klines

...-overlay/files/provision/gast/.kde/share/config/klipperrc

...lay/files/provision/gast/.kde/share/config/kmail.eventsrc

...t-overlay/files/provision/gast/.kde/share/config/kmail2rc

guest-overlay/files/provision/gast/.kde/share/config/kmailrc

guest-overlay/files/provision/gast/.kde/share/config/kmines

...overlay/files/provision/gast/.kde/share/config/kmixctrlrc

guest-overlay/files/provision/gast/.kde/share/config/kmixrc

...lay/files/provision/gast/.kde/share/config/knavalbattlerc