@article{Krawinkler:13304,
      author        = "Krawinkler, H.",
      title         = "{}",
}