<section>
  <div .profile>
    <dl .deflist.profile-dl>
        <dt .deflist__dt> _{MsgEMail}
        <dd .deflist__dd> #{mailtoHtml userEmail}
        <dt .deflist__dt> _{MsgMatrikelNr}
        <dd .deflist__dd>
          $maybe matnr <- userMatrikelnummer
            #{matnr}
          $nothing
            _{MsgNoMatrikelKnown}
        $maybe date <- mRegAt
          <dt .deflist__dt>_{MsgRegisteredSince}
          <dd .deflist__dd>#{date}
        <dt .deflist__dt>
        <dd .deflist__dd>
          ^{regButtonWidget}
          $maybe _ <- mRegistration
            <p>
              _{MsgCourseDeregisterLecturerTip}
        <dt .deflist__dt>_{MsgStudyTerms}
        <dd .deflist__dd>
          $if null studies
            _{MsgNoStudyTermsKnown}
          $else
            <div .scrolltable>
              <table .table.table--striped.table--hover.table--condensed>
                <tr .table__row>
                  <th .table__th>_{MsgStudyTerm}
                  <th .table__th>_{MsgStudyFeatureDegree}
                  <th .table__th>_{MsgStudyFeatureType}
                  <th .table__th>_{MsgStudyFeatureAge}
                  <th .table__th>_{MsgStudyFeatureValid}
                  <th .table__th>_{MsgStudyFeatureUpdate}
                $forall ((Entity _ StudyFeatures{..}), (Entity _ degree), (Entity _ field)) <- studies
                  $with _ <- notUsedT studyFeaturesUser
                  <tr .table__row>
                    <td .table__td>_{field}#{notUsedT studyFeaturesField}
                    <td .table__td>_{degree}#{notUsedT studyFeaturesDegree}
                    <td .table__td>_{studyFeaturesType}
                    <td .table__td>#{display studyFeaturesSemester}
                    <td .table__td>#{hasTickmark studyFeaturesValid}
                    <td .table__td>^{formatTimeW SelFormatDate studyFeaturesUpdated}
        $maybe _ <- mRegistration
          <dt .deflist__dt>_{MsgCourseStudyFeature}
          <dd .deflist__dd>^{regFieldWidget}

<section>
  ^{noteWidget}
