<http://schema.org/headline>
"Android Device Manager now available for your downloading pleasure on Google Play"^^<http://www.w3.org/2001/XMLSchema#string>
<http://www.engadget.com/2013/12/11/android-device-manager/>