How to enable AirPlay mirroring on an iPad mini?
After another round of reboots (first: software update for the Apple TV, second: reboot of the iPad mini), it now works:



It seems that some hiccup was responsible, which was very, very sticky. So the often mentioned hint of rebooting does really work. Just try it often enough... :)