The domain name

float-point.de

is for sale!