person skilled in the art - German English Dictionary