de.mpg.mpi-inf.amie amie-plus 2015-08-26