Leaving NONMONOTONIC.NET to BSn Germany