"forking" Deutsche bedeutung