Looks like @baumkuchen hasn't received any replies!