"scheduler" Deutsche bedeutung