German file_tools translation