/* exported heinrichFun */
/* global franz */
"use strict";

function heinrichFun() {
  franz();
}