Text this: Investigations on the Wigner derivative and on an integral formula for the quantum 6j symbols