Da mein alter OpenLauncher nicht mehr gepflegt wird und häufig abstürzt, habe ich mich nach Ersatz umgesehen und ihn gefunden.