<?php
 function kompass_print_telephone_link(string $telephonnumber)
 {
	 $numberInternational = $telephonnumber;
	 if (str_starts_with($numberInternational, '0')) {
		 $numberInternational = '+49' . substr($numberInternational,1);
	 }
	 echo '<a href="tel:' . $numberInternational . '">' . $telephonnumber . '</a>';
 }