FIX: "verdeployed" (das ist jetzt ein fachbegriff)

4 jobs for devel in 5 minutes and 39 seconds (queued for 1 second)