@misc{Aust2016,
  author    = {Stefan Aust},
  title     = {Stefan Aust Portr{\"a}t},
  year        = {2016},
}