Looks like @techkopf hasn't received any replies!