I asked Jeremias Maerki to point out where we can look up
this rule.

Best regards,
Ferdinand Soethe