svk-amm2016 (#15/22) : *** ()
*