Looks like @holzmichl hasn't received any replies!