casting operation - German English Dictionary