<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}
        <dt .deflist__dt>_{MsgRegisteredHeader}
        <dd .deflist__dd>
          <div .course__registration>
            <a id="register-form">
            <form method=post action=@{currentRoute}#register-form enctype=#{registerEnctype}>
              ^{registerView}
            $maybe date <- mRegAt
              _{MsgRegisteredSince date}


        <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}

<section>
  <a id="note-form">
  <form method=post action=@{currentRoute}#note-form enctype=#{noteEnctype}>
    ^{noteView}
