--- /dev/null
+---
+title: Research
+layout: null
+---
+<!DOCTYPE html>
+<html>
+<head>
+<title>Ralf Jung</title>
+<meta http-equiv="refresh" content="0;url=https://www.mpi-sws.org/~jung/">
+</head>
+
+<body>
+You should be redirected to <a href="https://www.mpi-sws.org/~jung/">http://www.mpi-sws.org/~jung/</a>.
+</body>
* [git-mirror](git-mirror/): This can keep multiple git repositories of the same project in sync automatically.
For some more of my projects, check out the [public git repositories](https://www.ralfj.de/git/)
-hosted on my server and the [Debian packages](http://qa.debian.org/developer.php?login=post%40ralfj.de) I am maintaining as DM.
+hosted on my server and my [GitHub profile](https://github.com/RalfJung/).