Extremality of hyperbolic spiral and stretch maps

We prove extremality results concerning specific quasiconformal mappings in the hyperbolic plane, namely, hyperbolic spiral and stretch maps.