diff --git a/common/files/keys/thomas.pub b/common/files/keys/thomas.pub
new file mode 100644
index 0000000000000000000000000000000000000000..eacd6bacb567eb434e9a9d625555161f60a63cb8
--- /dev/null
+++ b/common/files/keys/thomas.pub
@@ -0,0 +1 @@
+ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIAMpP3qjdK1UX6Jj2RQACuBCBOVEBnw7cwZVFxbyhYFg thomas@fsmpi.rwth-aachen.de