The domain name

real-time-ethernet.de

is for sale!