export function HilprechtHeidelbergLink({
  number,
}: {
  number: string
}): JSX.Element {