On Pied-Piping by Fabian Heck