Decomposition of the Tschirnhausen module for coverings on decomposable P¹-bundles | Synapse