Does the manufacturer generally include that info in the service manuals (will have to google manuals) ?
Here in the States they don't usually have the line sizes in the repair manual and a lot time they don't spec the sizes in the part lists as they want you to buy their lines.
