The official Porsche Timing belt measurement tool is P9201.

Here are some pictures of the tool: