Looks like @lukas3 hasn't received any replies!