-push
Merge branch 'frontend' of https://github.com/4ipalino/PlagiatsJaeger into frontend