The domain name

shift-ctrl.de

is for sale!