"divert" Deutsche bedeutung