diff --git a/share/pgpkeys/mr.key b/share/pgpkeys/mr.key
new file mode 100644
index 0000000000..434f497fcc
--- /dev/null
+++ b/share/pgpkeys/mr.key
@@ -0,0 +1,78 @@
+
+
+
+uid Michael Reifenberger
+sub 4096R/898AF56CFE7CD649 2013-11-04 [verfällt: 2018-11-03]
+
+]]>
+
diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent
index 20c9f358f8..f732de514e 100644
--- a/share/pgpkeys/pgpkeys.ent
+++ b/share/pgpkeys/pgpkeys.ent
@@ -1,448 +1,449 @@
+