repair personnel - German English Dictionary