Looks like @nilsbrueck hasn't received any replies!