--- de.orig	2012-12-08 22:06:07.860317844 +0100
+++ de	2012-12-08 22:11:41.293621380 +0100
@@ -50,6 +50,17 @@
 };
 
 partial alphanumeric_keys
+xkb_symbols "legacy" {
+
+	// previous standard German layout with tilde as dead key
+
+    include "de(basic)"
+    name[Group1]="German (dead tilde)";
+
+	key <AD12>	{ [      plus,   asterisk,   dead_tilde,  dead_macron ]	};
+};
+
+partial alphanumeric_keys
 xkb_symbols "nodeadkeys" {
 
     // modify the basic German layout to not have any dead keys